Specializing Code via Partial Evalutaion

This document introduces the concept of program specialization and partial evaluation highlighting some of the insights that went into the maturity of the elds. After an informal discussion and motivation regarding this research, the theoretical foundations of partial evaluation are presented. This is followed by an examination of the expanse and uses of partial evaluation, both intensional and extensional. Related work in the area of program specialization via partial evaluation is surveyed. A new strategy to specialize programs via partial evaluation is introduced. We highlight the problem being targeted, state its relevance, address issues needed to solve it and state why they are worth solving.